Moschovakis, Yiannis N.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Logical Calculus of Meaning and Synonymy

Yiannis N. Moschovakis

Journal:

Linguistics and Philosophy

Year:

2006

Language:

english

File:

PDF, 598 KB

english, 2006

2

Computabilityby Douglas S. Bridges

Review by: Yiannis N. Moschovakis

Journal:

American Mathematical Monthly

Year:

1995

Language:

english

File:

PDF, 236 KB

english, 1995

3

Hyperanalytic Predicates

Yiannis N. Moschovakis

Journal:

Transactions of the American Mathematical Society

Year:

1967

Language:

english

File:

PDF, 2.96 MB

english, 1967

4

The Suslin-Kleene theorem for countable structures

Moschovakis, Yiannis N.

Journal:

Duke Mathematical Journal

Year:

1970

Language:

english

File:

PDF, 1.13 MB

english, 1970

5

Kleene's Amazing Second Recursion Theorem

Moschovakis, Yiannis N.

Journal:

Bulletin of Symbolic Logic

Year:

2010

Language:

english

File:

PDF, 469 KB

english, 2010

6

Computability. By Douglas S. Bridges

Moschovakis, Yiannis N.

Journal:

American Mathematical Monthly

Year:

1995

Language:

english

File:

PDF, 499 KB

english, 1995

7

Two theorems about projective sets

Alexander S. Kechris, Yiannis N. Moschovakis

Journal:

Israel Journal of Mathematics

Year:

1972

Language:

english

File:

PDF, 338 KB

english, 1972

8

[Mathematical Sciences Research Institute Publications] Logic from Computer Science Volume 21 || Reals and Forcing with an Elementary Topos

Moschovakis, Yiannis N.

Year:

1992

Language:

english

File:

PDF, 1.24 MB

english, 1992

9

Quelques Pseudo-Paradoxes de la "Calculabilité Effective."by Jean Porte;An Argument Against the Plausibility of Church's Thesisby László Kalmár;Rekursivität und Konstruktivitätby Rózsa Péter;On Some Recent Criticism of Church's Thesisby Elliott Mendelson

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1968

Language:

english

File:

PDF, 374 KB

english, 1968

10

The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic

John Addison, Jon Barwise, H. Jerome Keisler, Kenneth Kunen and Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1979

Language:

english

File:

PDF, 334 KB

english, 1979

11

The Axiom of Choice and the Class of Hyperarithmetic Functionsby G. Kreisel

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 382 KB

english, 1970

12

The logic of recursive equations

Hurkens, A. J. C., McArthur, Monica, Moschovakis, Yiannis N., Moss, Lawrence S., Whitney, Glen T.

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 1.75 MB

english, 1998

13

Meeting of the Association for Symbolic Logic, San Francisco, 1981

Barwise, Jon, Vaught, Robert, Moschovakis, Yiannis

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 745 KB

english, 1983

14

Arithmetic complexity

Dries, Lou Van Den, Moschovakis, Yiannis N.

Journal:

ACM Transactions on Computational Logic

Year:

2009

Language:

english

File:

PDF, 365 KB

english, 2009

15

The Formal Language of Recursion

Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 720 KB

english, 1989

16

Hierarchies of Effective Descriptive Set Theory.by Peter G. Hinman

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 238 KB

english, 1972

17

The Game Quantifier

Yiannis N. Moschovakis

Journal:

Proceedings of the American Mathematical Society

Year:

1972

Language:

english

File:

PDF, 205 KB

english, 1972

18

Intuitionism and effective descriptive set theory

Moschovakis, Joan R., Moschovakis, Yiannis N.

Journal:

Indagationes Mathematicae

Year:

2017

Language:

english

File:

PDF, 811 KB

english, 2017

19

Abstract Recursion and Intrinsic Complexity || Lower bounds from division and multiplication

Moschovakis, Yiannis N.

Year:

2018

Language:

english

File:

PDF, 123 KB

english, 2018

20

Computable concurrent processes

Yiannis N. Moschovakis

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 1.43 MB

english, 1995

21

Classical descriptive set theory as a refinement of effective descriptive set theory

Yiannis N. Moschovakis

Journal:

Annals of Pure and Applied Logic

Year:

2010

Language:

english

File:

PDF, 315 KB

english, 2010

22

On primitive recursive algorithms and the greatest common divisor function

Yiannis N. Moschovakis

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 341 KB

english, 2003

23

Preface

Joan Bagaria, Yiannis Moschovakis, Margarita Otero, Ivan Soskov

Journal:

Annals of Pure and Applied Logic

Year:

2011

Language:

english

File:

PDF, 128 KB

english, 2011

24

A model of concurrency with fair merge and full recursion

Yiannis N. Moschovakis

Journal:

Information and Computation

Year:

1991

Language:

english

File:

PDF, 2.70 MB

english, 1991

25

[Lecture Notes in Mathematics] Cabal Seminar 76–77 Volume 689 || On Vaught's conjecture

Kechris, Alexander S., Moschovakis, Yiannis N.

Year:

1978

Language:

english

File:

PDF, 709 KB

english, 1978

26

[Lecture Notes in Mathematics] Cabal Seminar 79–81 Volume 1019 || Introduction to Q-Theory

Kechris, Alexander S., Martin, Donald A., Moschovakis, Yiannis N.

Year:

1983

Language:

english

File:

PDF, 2.81 MB

english, 1983

27

[Mathematical Sciences Research Institute Publications] Logic from Computer Science Volume 21 || Computability and Complexity of Higher Type Functions

Moschovakis, Yiannis N.

Year:

1992

Language:

english

File:

PDF, 2.06 MB

english, 1992

28

Some Consequences of the Axiom of Definable Determinateness

J. W. Addison and Yiannis N. Moschovakis

Journal:

Proceedings of the National Academy of Sciences

Year:

1968

Language:

english

File:

PDF, 232 KB

english, 1968

29

Effective Operations and Partial Recursive Functionalsby G. Kriesel; D. Lacombe; J. Shoenfield;Partial Recursive Functionals and Effective Operationsby G. Kreisel; D. Lacombe; J. R. Shoenfield

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 289 KB

english, 1966

30

Global Inductive Definability

Jon Barwise and Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1978

Language:

english

File:

PDF, 324 KB

english, 1978

31

Abstract Computability and Invariant Definability

Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 2.56 MB

english, 1969

32

Meeting of the Association for Symbolic Logic

Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 1.19 MB

english, 1969

33

On the Notational Independence of Various Hierarchies of Degrees of Unsolvabilityby Gustav Hensel; Hilary Putnam

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1967

Language:

english

File:

PDF, 328 KB

english, 1967

34

Quelques Procédés de Définition en Topologie Récursive.by Daniel Lacombe

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 306 KB

english, 1966

35

Analysis of Cantor-Bendixson Theorem by Means of the Analytic Hierarchyby G. Kreisel

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 221 KB

english, 1970

36

Perfect Subsets of Definable Sets of Real Numbers.by Richard Mansfield

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1975

Language:

english

File:

PDF, 84 KB

english, 1975

37

A Proof of Mansfield's Theorem by Forcing Method.by Yoemon Sampei

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1975

Language:

english

File:

PDF, 84 KB

english, 1975

38

Recursive Pseudo-well-Orderings.by Joseph Harrison

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 372 KB

english, 1972

39

A Logical Calculus of Meaning and Synonymy

Yiannis N. Moschovakis

Journal:

Linguistics and Philosophy

Year:

2006

Language:

english

File:

PDF, 5.46 MB

english, 2006

40

Abstract First Order Computability. I

Yiannis N. Moschovakis

Journal:

Transactions of the American Mathematical Society

Year:

1969

Language:

english

File:

PDF, 825 KB

english, 1969

41

[IEEE 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) - Pittsburgh, PA, USA (2008.06.24-2008.06.27)] 2008 23rd Annual IEEE Symposium on Logic in Computer Science - The Axiomatic Derivation of Absolute Lower Bounds

Moschovakis, Yiannis N.

Year:

2008

Language:

english

File:

PDF, 125 KB

english, 2008

42

Is the Euclidean Algorithm Optimal among Its Peers?

Lou van den Dries and Yiannis N. Moschovakis

Journal:

Bulletin of Symbolic Logic

Year:

2004

Language:

english

File:

PDF, 519 KB

english, 2004

43

[Lecture Notes in Mathematics] Cabal Seminar 76–77 Volume 689 || Wadge degrees and descriptive set theory

Kechris, Alexander S., Moschovakis, Yiannis N.

Year:

1978

Language:

english

File:

PDF, 735 KB

english, 1978

44

[Lecture Notes in Mathematics] Cabal Seminar 77 – 79 Volume 839 || The axiom of determinacy, strong partition properties and nonsingular measures

Kechris, Alexander S., Martin, Donald A., Moschovakis, Yiannis N.

Year:

1981

Language:

english

File:

PDF, 818 KB

english, 1981

45

The formal language of recursion

Moschovakis, Yiannis N.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 1.93 MB

english, 1989

46

[Lecture Notes in Mathematics] Cabal Seminar 79–81 Volume 1019 || More saturated ideals

Kechris, Alexander S., Martin, Donald A., Moschovakis, Yiannis N.

Year:

1983

Language:

english

File:

PDF, 932 KB

english, 1983

47

[ACM Press the 17th ACM SIGPLAN-SIGACT symposium - San Francisco, California, United States (1990..-..)] Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90 - Computable process

Moschovakis, Yiannis N.

Year:

1990

Language:

english

File:

PDF, 938 KB

english, 1990

48

KLEENE'S AMAZING SECOND RECURSION THEOREM

YIANNIS N. MOSCHOVAKIS

Journal:

Bulletin of Symbolic Logic

Year:

2010

Language:

english

File:

PDF, 3.31 MB

english, 2010

49

[Lecture Notes in Mathematics] Cabal Seminar 77 – 79 Volume 839 || Π 2 1 monotone inductive definitions

Kechris, Alexander S., Martin, Donald A., Moschovakis, Yiannis N.

Year:

1981

Language:

english

File:

PDF, 675 KB

english, 1981

50

[Lecture Notes in Mathematics] Cabal Seminar 77 – 79 Volume 839 || Measurable cardinals in playful models

Kechris, Alexander S., Martin, Donald A., Moschovakis, Yiannis N.

Year:

1981

Language:

english

File:

PDF, 456 KB

english, 1981

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски